FrozenMVar2.agda:34,9-11
Cannot split on argument of non-datatype _A_28
when checking that the pattern zℕ has type _A_28
